Could Operation Sea Lion have worked